Secure Software Leasing Without Assumptions

Quantum cryptography is known for enabling functionalities that are unattainable using classical information alone. Recently, Secure Software Leasing (SSL) has emerged as one of these areas interest. Given a target circuit $C$ from class, SSL produces an encoding enables recipient to evaluate $C$, and also the originator software verify been returned -- meaning relinquished possibility any further use software. Clearly, such functionality unachievable alone, since it impossible prevent user keeping copy Recent results have shown achievability quantum class functions called compute-and-compare (these generalization well-known point functions). These prior works, however all make setup or computational assumptions. Here, we show achievable circuits without Our technique involves study copy-protection, which notion related SSL, but where procedure inherently prevents would-be pirate splitting single into two parts, each $C$. We can be copy-protected assumptions, novel security definition involving honest malicious evaluator; this achieved by showing message authentication code, derive honest-malicious copy-protection scheme. then generic scheme implies SSL; work, yields functions.